Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
61	Preparing HPC Applications for Exascale: Challenges and Recommendations c (ADPNA at NBiS-2015, IEEE) ´ Erika Abrah´ Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-10-22 01:10:24 Software Computing Mathematical software Supercomputing Parallel computing Exascale computing Supercomputer Profiling Modeling language Wolfram Mathematica Draft:High Performance Computing Software Development Tools Techila Grid
62	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
63	www.gyrotools.com ReconFrame Recon Prototyping Environment for Scientists Implement your reconstruction ideas efficiently and integrate them into standard workflow on Add to Reading List Source URL: www.gyrotools.com Language: English - Date: 2012-04-16 12:12:08 Software Application software Mathematical software Neuroimaging Digital photography Raw image format MATLAB Raw Single-photon emission computed tomography
64	HOMEWORK David F. Gleich January 5, 2016 purdue university · csnumerical analysis Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-04-28 13:04:54 Software Application software Mathematical software Cross-platform software Array programming languages Pedagogy E-learning Flipped classroom Numerical linear algebra SciPy NumPy Matrix
65	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
66	JASP Bayesian Hypothesis Testing Using JASP Jonathon Love Josine Add to Reading List Source URL: static.jasp-stats.org Language: English - Date: 2015-06-27 13:35:44 Software Mathematical software Application software Free statistical software JASP SPSS SAS Proprietary software R
67	BOOKS ABOUT DA 5500 CALCULATORCityhalllosangeles.com DA 5500 CALCULATOR 2013 Add to Reading List Source URL: d.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:33:29 Office equipment Calculator Mathematical software Software Mathematics Equipment
68	RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:39 Mathematics Software Typography Elementary mathematics Typesetting Syntax Mathematical logic LaTeX TeX Expression Tilde Symbolic computation
69	Augmenting MATLAB with Semantic Objects for an Interactive Visual Environment Changhyun Lee Jaegul Choo Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2013-07-08 06:03:03 Software Application software Mathematical software Visualization Array programming languages Linear algebra Cross-platform software Numerical software Data visualization Heat map MATLAB Information visualization
70	Microsoft Word - Press Release FreeFlyer6-FINAL.doc Add to Reading List Source URL: ai-solutions.com Language: English - Date: 2015-11-18 17:00:21 Software Application software Mathematical software 3D graphics software FreeFlyer NASA